proof checker
英 [pruːf ˈtʃekə(r)]
美 [pruːf ˈtʃekər]
网络 证明检查器
双语例句
- A Theorem Proof Checker
一个定理证明检查器 - Both the specifications and the safety proofs are carried by the code, and could be checked by an assembly-level proof checker to ensure that the code satisfies its specifications.
这些证明可以被底层证明检查器所检查，以证明生成的汇编代码满足安全规范。